[next] [prev] [prev-tail] [tail] [up]

2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 147 180 356 412 0 3013 379

N.S.

1 1.00 0.55 0.67 1.32 1.53 0.00 11.20 1.41

time (sec)

N/A 0.260 0.144 0.161 0.338 1.771 0.000 6.102 3.805

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 100 108 240 282 0 1976 259

N.S.

1 1.00 0.50 0.54 1.20 1.41 0.00 9.88 1.30

time (sec)

N/A 0.156 0.099 0.126 0.352 1.282 0.000 4.915 3.562

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 64 59 140 173 0 1124 134

N.S.

1 1.00 0.51 0.47 1.12 1.38 0.00 8.99 1.07

time (sec)

N/A 0.066 0.068 0.131 0.302 1.511 0.000 6.084 3.373

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 37 42 60 92 0 469 79

N.S.

1 1.00 0.77 0.88 1.25 1.92 0.00 9.77 1.65

time (sec)

N/A 0.015 0.030 0.129 0.304 1.641 0.000 6.040 3.160

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 168 421 0 596 0 0 -1

N.S.

1 1.00 0.71 1.78 0.00 2.53 0.00 0.00 -0.00

time (sec)

N/A 0.295 0.227 0.147 0.000 1.677 0.000 0.000 0.000

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 183 513 0 681 0 0 -1

N.S.

1 1.00 0.78 2.18 0.00 2.90 0.00 0.00 -0.00

time (sec)

N/A 0.253 0.495 0.141 0.000 2.014 0.000 0.000 0.000

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 189 516 0 696 0 0 -1

N.S.

1 1.00 0.77 2.10 0.00 2.83 0.00 0.00 -0.00

time (sec)

N/A 0.230 0.563 0.141 0.000 2.076 0.000 0.000 0.000

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 171 431 0 1176 0 0 -1

N.S.

1 1.00 0.68 1.70 0.00 4.65 0.00 0.00 -0.00

time (sec)

N/A 0.223 0.824 0.146 0.000 1.596 0.000 0.000 0.000

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 244 655 0 1929 0 0 -1

N.S.

1 1.00 0.76 2.03 0.00 5.97 0.00 0.00 -0.00

time (sec)

N/A 0.326 1.361 0.157 0.000 2.651 0.000 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

393 393 301 914 0 2865 0 0 -1

N.S.

1 1.00 0.77 2.33 0.00 7.29 0.00 0.00 -0.00

time (sec)

N/A 0.357 1.904 0.145 0.000 5.699 0.000 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

463 463 370 1251 0 4027 0 0 -1

N.S.

1 1.00 0.80 2.70 0.00 8.70 0.00 0.00 -0.00

time (sec)

N/A 0.482 2.994 0.144 0.000 23.518 0.000 0.000 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 207 501 0 845 0 0 -1

N.S.

1 1.00 0.66 1.60 0.00 2.70 0.00 0.00 -0.00

time (sec)

N/A 0.361 0.333 0.146 0.000 3.366 0.000 0.000 0.000

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 179 318 0 669 0 0 -1

N.S.

1 1.00 0.73 1.30 0.00 2.74 0.00 0.00 -0.00

time (sec)

N/A 0.241 0.284 0.151 0.000 3.402 0.000 0.000 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 129 191 0 531 0 0 -1

N.S.

1 1.00 0.76 1.13 0.00 3.14 0.00 0.00 -0.01

time (sec)

N/A 0.148 0.341 0.142 0.000 2.037 0.000 0.000 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 94 102 0 349 0 0 -1

N.S.

1 1.00 0.90 0.97 0.00 3.32 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.097 0.144 0.000 2.624 0.000 0.000 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 50 45 0 115 0 0 100

N.S.

1 1.00 0.82 0.74 0.00 1.89 0.00 0.00 1.64

time (sec)

N/A 0.043 0.051 0.140 0.000 3.034 0.000 0.000 4.638

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 69 61 0 302 0 0 147

N.S.

1 1.00 0.53 0.47 0.00 2.34 0.00 0.00 1.14

time (sec)

N/A 0.095 0.119 0.155 0.000 3.206 0.000 0.000 4.898

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 105 111 0 599 0 0 242

N.S.

1 1.00 0.53 0.56 0.00 3.03 0.00 0.00 1.22

time (sec)

N/A 0.149 0.145 0.143 0.000 5.081 0.000 0.000 5.170

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 152 183 0 1002 0 0 357

N.S.

1 1.00 0.57 0.69 0.00 3.75 0.00 0.00 1.34

time (sec)

N/A 0.212 0.172 0.138 0.000 4.104 0.000 0.000 5.511

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 183 638 0 979 0 0 -1

N.S.

1 1.00 0.61 2.12 0.00 3.25 0.00 0.00 -0.00

time (sec)

N/A 0.313 0.378 0.151 0.000 9.017 0.000 0.000 0.000

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 133 386 0 727 0 0 -1

N.S.

1 1.00 0.59 1.70 0.00 3.20 0.00 0.00 -0.00

time (sec)

N/A 0.215 0.582 0.145 0.000 5.821 0.000 0.000 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 117 200 0 577 0 0 -1

N.S.

1 1.00 0.73 1.24 0.00 3.58 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.120 0.142 0.000 4.830 0.000 0.000 0.000

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 50 55 0 122 0 0 147

N.S.

1 1.00 0.82 0.90 0.00 2.00 0.00 0.00 2.41

time (sec)

N/A 0.047 0.048 0.141 0.000 4.933 0.000 0.000 4.678

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 64 70 0 336 0 0 151

N.S.

1 1.00 0.52 0.56 0.00 2.71 0.00 0.00 1.22

time (sec)

N/A 0.097 0.130 0.145 0.000 2.057 0.000 0.000 4.976

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 105 120 0 679 0 0 268

N.S.

1 1.00 0.55 0.62 0.00 3.54 0.00 0.00 1.40

time (sec)

N/A 0.152 0.151 0.144 0.000 3.226 0.000 0.000 5.333

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 139 192 0 1114 0 0 414

N.S.

1 1.00 0.53 0.73 0.00 4.25 0.00 0.00 1.58

time (sec)

N/A 0.215 0.190 0.144 0.000 3.763 0.000 0.000 5.701

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 179 642 0 1061 0 0 -1

N.S.

1 1.00 0.62 2.22 0.00 3.67 0.00 0.00 -0.00

time (sec)

N/A 0.278 1.082 0.146 0.000 3.949 0.000 0.000 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 134 333 0 765 0 0 -1

N.S.

1 1.00 0.61 1.52 0.00 3.49 0.00 0.00 -0.00

time (sec)

N/A 0.196 0.210 0.148 0.000 4.548 0.000 0.000 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 52 55 0 188 0 0 169

N.S.

1 1.00 0.83 0.87 0.00 2.98 0.00 0.00 2.68

time (sec)

N/A 0.046 0.053 0.151 0.000 4.626 0.000 0.000 4.322

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 68 72 0 320 0 0 246

N.S.

1 1.00 0.53 0.56 0.00 2.50 0.00 0.00 1.92

time (sec)

N/A 0.100 0.119 0.144 0.000 8.180 0.000 0.000 5.059

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 102 121 0 690 0 0 255

N.S.

1 1.00 0.53 0.62 0.00 3.56 0.00 0.00 1.31

time (sec)

N/A 0.155 0.164 0.143 0.000 6.896 0.000 0.000 5.282

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 138 191 0 1108 0 0 416

N.S.

1 1.00 0.53 0.73 0.00 4.26 0.00 0.00 1.60

time (sec)

N/A 0.212 0.197 0.131 0.000 6.494 0.000 0.000 5.859

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 227 732 0 1075 0 0 -1

N.S.

1 1.00 0.59 1.90 0.00 2.79 0.00 0.00 -0.00

time (sec)

N/A 0.452 0.484 0.160 0.000 6.203 0.000 0.000 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 200 504 0 853 0 0 -1

N.S.

1 1.00 0.64 1.61 0.00 2.73 0.00 0.00 -0.00

time (sec)

N/A 0.335 0.372 0.138 0.000 5.197 0.000 0.000 0.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 162 319 0 671 0 0 -1

N.S.

1 1.00 0.67 1.32 0.00 2.78 0.00 0.00 -0.00

time (sec)

N/A 0.231 0.401 0.135 0.000 4.749 0.000 0.000 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 127 188 0 526 0 0 -1

N.S.

1 1.00 0.76 1.13 0.00 3.15 0.00 0.00 -0.01

time (sec)

N/A 0.142 0.308 0.137 0.000 4.524 0.000 0.000 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 133 187 0 533 0 0 -1

N.S.

1 1.00 0.84 1.18 0.00 3.37 0.00 0.00 -0.01

time (sec)

N/A 0.133 0.144 0.141 0.000 3.809 0.000 0.000 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 52 53 0 176 0 0 136

N.S.

1 1.00 0.83 0.84 0.00 2.79 0.00 0.00 2.16

time (sec)

N/A 0.045 0.055 0.141 0.000 2.002 0.000 0.000 3.923

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-2) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 69 70 0 424 0 0 187

N.S.

1 1.00 0.53 0.54 0.00 3.29 0.00 0.00 1.45

time (sec)

N/A 0.093 0.123 0.154 0.000 1.270 0.000 0.000 4.084

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 105 119 0 783 0 0 289

N.S.

1 1.00 0.53 0.60 0.00 3.95 0.00 0.00 1.46

time (sec)

N/A 0.149 0.144 0.139 0.000 1.514 0.000 0.000 4.290

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 152 191 0 1243 0 0 409

N.S.

1 1.00 0.57 0.72 0.00 4.66 0.00 0.00 1.53

time (sec)

N/A 0.209 0.166 0.141 0.000 5.173 0.000 0.000 4.501

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

382 382 238 732 0 1073 0 0 -1

N.S.

1 1.00 0.62 1.92 0.00 2.81 0.00 0.00 -0.00

time (sec)

N/A 0.448 0.635 0.146 0.000 6.104 0.000 0.000 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 201 504 0 855 0 0 -1

N.S.

1 1.00 0.65 1.63 0.00 2.76 0.00 0.00 -0.00

time (sec)

N/A 0.318 0.381 0.157 0.000 4.349 0.000 0.000 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 161 315 0 665 0 0 -1

N.S.

1 1.00 0.68 1.32 0.00 2.79 0.00 0.00 -0.00

time (sec)

N/A 0.217 0.280 0.145 0.000 4.067 0.000 0.000 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 148 373 0 675 0 0 -1

N.S.

1 1.00 0.67 1.68 0.00 3.04 0.00 0.00 -0.00

time (sec)

N/A 0.199 0.563 0.158 0.000 2.189 0.000 0.000 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 152 321 0 699 0 0 -1

N.S.

1 1.00 0.71 1.50 0.00 3.27 0.00 0.00 -0.00

time (sec)

N/A 0.185 0.267 0.151 0.000 1.480 0.000 0.000 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 52 55 0 244 0 0 232

N.S.

1 1.00 0.83 0.87 0.00 3.87 0.00 0.00 3.68

time (sec)

N/A 0.046 0.086 0.158 0.000 0.858 0.000 0.000 4.067

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 69 100 0 553 0 0 247

N.S.

1 1.00 0.53 0.78 0.00 4.29 0.00 0.00 1.91

time (sec)

N/A 0.097 0.164 0.142 0.000 0.724 0.000 0.000 4.305

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 113 172 0 968 0 0 377

N.S.

1 1.00 0.57 0.87 0.00 4.89 0.00 0.00 1.90

time (sec)

N/A 0.155 0.192 0.145 0.000 1.051 0.000 0.000 4.478

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 141 267 0 1496 0 0 519

N.S.

1 1.00 0.53 1.00 0.00 5.60 0.00 0.00 1.94

time (sec)

N/A 0.215 0.243 0.137 0.000 1.015 0.000 0.000 4.833

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

448 448 265 1005 0 1331 0 0 -1

N.S.

1 1.00 0.59 2.24 0.00 2.97 0.00 0.00 -0.00

time (sec)

N/A 0.581 0.923 0.145 0.000 6.331 0.000 0.000 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

376 376 235 732 0 1073 0 0 -1

N.S.

1 1.00 0.62 1.95 0.00 2.85 0.00 0.00 -0.00

time (sec)

N/A 0.435 0.605 0.145 0.000 2.432 0.000 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 191 498 0 843 0 0 -1

N.S.

1 1.00 0.63 1.64 0.00 2.77 0.00 0.00 -0.00

time (sec)

N/A 0.314 0.351 0.135 0.000 1.965 0.000 0.000 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 199 625 0 931 0 0 -1

N.S.

1 1.00 0.68 2.13 0.00 3.17 0.00 0.00 -0.00

time (sec)

N/A 0.288 0.377 0.156 0.000 1.879 0.000 0.000 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 189 628 0 993 0 0 -1

N.S.

1 1.00 0.67 2.21 0.00 3.50 0.00 0.00 -0.00

time (sec)

N/A 0.263 0.955 0.151 0.000 1.784 0.000 0.000 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

274 274 166 501 0 949 0 0 -1

N.S.

1 1.00 0.61 1.83 0.00 3.46 0.00 0.00 -0.00

time (sec)

N/A 0.248 0.267 0.138 0.000 1.404 0.000 0.000 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 52 78 0 314 0 0 325

N.S.

1 1.00 0.83 1.24 0.00 4.98 0.00 0.00 5.16

time (sec)

N/A 0.050 0.104 0.150 0.000 0.779 0.000 0.000 4.343

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 79 136 0 677 0 0 315

N.S.

1 1.00 0.61 1.05 0.00 5.25 0.00 0.00 2.44

time (sec)

N/A 0.103 0.169 0.145 0.000 0.808 0.000 0.000 4.543

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 113 231 0 1159 0 0 465

N.S.

1 1.00 0.57 1.17 0.00 5.85 0.00 0.00 2.35

time (sec)

N/A 0.158 0.218 0.153 0.000 0.927 0.000 0.000 4.822

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 141 349 0 1741 0 0 627

N.S.

1 1.00 0.53 1.31 0.00 6.52 0.00 0.00 2.35

time (sec)

N/A 0.214 0.281 0.148 0.000 0.947 0.000 0.000 5.119

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 122 100 0 0 0 0 0 -1

N.S.

1 1.17 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.291 0.048 0.000 0.000 0.000 0.000 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 110 98 0 0 0 0 0 -1

N.S.

1 1.06 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.206 0.047 0.000 0.000 0.000 0.000 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 118 98 0 0 0 0 0 -1

N.S.

1 1.13 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.140 0.048 0.000 0.000 0.000 0.000 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 120 100 0 0 0 0 0 -1

N.S.

1 1.15 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.139 0.050 0.000 0.000 0.000 0.000 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 122 100 0 0 0 0 0 -1

N.S.

1 1.17 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.205 0.046 0.000 0.000 0.000 0.000 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 122 110 0 0 0 0 0 -1

N.S.

1 1.17 1.06 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.193 0.049 0.000 0.000 0.000 0.000 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 107 95 0 0 0 0 0 -1

N.S.

1 1.04 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.066 0.063 0.000 0.000 0.000 0.000 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 134 527 333 699 0 2024 615

N.S.

1 1.00 0.39 1.54 0.97 2.04 0.00 5.90 1.79

time (sec)

N/A 0.428 0.270 0.166 0.315 0.824 0.000 3.340 3.753

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 131 235 196 348 0 981 327

N.S.

1 1.00 0.53 0.96 0.80 1.41 0.00 3.99 1.33

time (sec)

N/A 0.261 0.191 0.152 0.306 0.992 0.000 6.873 3.518

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 67 89 97 144 0 369 139

N.S.

1 1.00 0.45 0.59 0.65 0.96 0.00 2.46 0.93

time (sec)

N/A 0.098 0.107 0.153 0.326 0.796 0.000 3.124 3.362

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 42 57 35 59 0 87 57

N.S.

1 1.00 0.78 1.06 0.65 1.09 0.00 1.61 1.06

time (sec)

N/A 0.019 0.017 0.136 0.320 1.334 0.000 3.978 3.248

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 82 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.064 0.049 0.000 0.000 0.000 0.000 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 84 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 0.066 0.050 0.000 0.000 0.000 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 88 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.072 0.051 0.000 0.000 0.000 0.000 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 93 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.169 0.053 0.000 0.000 0.000 0.000 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 93 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.117 0.050 0.000 0.000 0.000 0.000 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 91 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.132 0.056 0.000 0.000 0.000 0.000 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 91 0 0 0 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.187 0.050 0.000 0.000 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 93 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.250 0.050 0.000 0.000 0.000 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 53 64 52 71 0 114 63

N.S.

1 1.00 0.82 0.98 0.80 1.09 0.00 1.75 0.97

time (sec)

N/A 0.028 0.036 0.166 0.292 4.095 0.000 4.289 3.543

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 64 0 32 34 0 0 -1

N.S.

1 1.00 0.82 0.00 0.41 0.44 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.025 0.120 0.301 2.899 0.000 0.000 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 222 145 0 0 0 0 0 -1

N.S.

1 1.04 0.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.159 0.251 0.049 0.000 0.000 0.000 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

501 501 380 623 678 608 0 1786 653

N.S.

1 1.00 0.76 1.24 1.35 1.21 0.00 3.56 1.30

time (sec)

N/A 0.554 0.304 0.122 0.366 3.854 0.000 3.951 4.088

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

412 412 264 407 476 411 0 1181 438

N.S.

1 1.00 0.64 0.99 1.16 1.00 0.00 2.87 1.06

time (sec)

N/A 0.396 0.198 0.131 0.340 4.906 0.000 3.179 3.864

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

321 321 169 237 306 254 0 700 279

N.S.

1 1.00 0.53 0.74 0.95 0.79 0.00 2.18 0.87

time (sec)

N/A 0.269 0.136 0.135 0.356 1.527 0.000 3.543 3.711

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 96 113 168 137 0 342 152

N.S.

1 1.00 0.46 0.54 0.80 0.66 0.00 1.64 0.73

time (sec)

N/A 0.126 0.078 0.130 0.310 2.925 0.000 6.253 3.484

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 54 51 66 75 0 135 85

N.S.

1 1.00 0.50 0.47 0.61 0.69 0.00 1.24 0.78

time (sec)

N/A 0.039 0.020 0.136 0.323 3.024 0.000 5.060 3.364

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 140 153 0 520 0 0 -1

N.S.

1 1.00 1.01 1.10 0.00 3.74 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.161 0.144 0.000 2.891 0.000 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 154 337 0 921 0 0 -1

N.S.

1 1.00 0.91 1.98 0.00 5.42 0.00 0.00 -0.01

time (sec)

N/A 0.161 0.489 0.138 0.000 2.649 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 200 663 0 1761 0 0 -1

N.S.

1 1.00 0.77 2.54 0.00 6.75 0.00 0.00 -0.00

time (sec)

N/A 0.221 0.923 0.142 0.000 2.277 0.000 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

351 351 279 1132 0 2867 0 0 -1

N.S.

1 1.00 0.79 3.23 0.00 8.17 0.00 0.00 -0.00

time (sec)

N/A 0.363 1.192 0.144 0.000 3.736 0.000 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

324 324 264 602 365 251 0 353 1768

N.S.

1 1.00 0.81 1.86 1.13 0.77 0.00 1.09 5.46

time (sec)

N/A 0.577 0.726 0.166 0.498 1.717 0.000 5.791 31.330

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 151 291 171 134 0 159 897

N.S.

1 1.00 0.91 1.75 1.03 0.81 0.00 0.96 5.40

time (sec)

N/A 0.212 0.455 0.145 0.492 2.402 0.000 6.260 13.854

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 82 117 57 67 0 60 232

N.S.

1 1.00 1.30 1.86 0.90 1.06 0.00 0.95 3.68

time (sec)

N/A 0.040 0.236 0.133 0.493 2.199 0.000 5.603 7.760

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 455 1759 0 4313 0 681 2500

N.S.

1 1.00 1.61 6.24 0.00 15.29 0.00 2.41 8.87

time (sec)

N/A 0.343 10.422 0.216 0.000 2.599 0.000 5.457 82.367

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

571 571 800 41834 0 35403 0 0 -1

N.S.

1 1.00 1.40 73.26 0.00 62.00 0.00 0.00 -0.00

time (sec)

N/A 4.037 11.060 0.600 0.000 81.338 0.000 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 261 755 371 376 0 736 -1

N.S.

1 1.00 0.95 2.74 1.34 1.36 0.00 2.67 -0.00

time (sec)

N/A 0.371 0.910 0.180 0.513 1.888 0.000 5.436 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 148 381 176 204 0 391 -1

N.S.

1 1.00 1.10 2.82 1.30 1.51 0.00 2.90 -0.01

time (sec)

N/A 0.119 0.577 0.159 0.501 1.636 0.000 3.520 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 70 151 61 101 0 186 -1

N.S.

1 1.00 1.75 3.78 1.52 2.52 0.00 4.65 -0.02

time (sec)

N/A 0.031 0.369 0.116 0.482 5.946 0.000 2.731 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

443 443 1546 11142 0 21628 0 0 -1

N.S.

1 1.00 3.49 25.15 0.00 48.82 0.00 0.00 -0.00

time (sec)

N/A 0.965 2.675 0.154 0.000 28.511 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]